possible{-}event\{i:l\}(${\it poss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it es}$:ES\{i\} $\times$ (:es{-}E(${\it es}$) $\times$ (${\it poss}$(${\it es}$)))